Algebraic Generalized Power Series and Automata
نویسنده
چکیده
A theorem of Christol states that a power series over a finite field is algebraic over the polynomial ring if and only if its coefficients can be generated by a finite automaton. Using Christol’s result, we prove that the same assertion holds for generalized power series (whose index sets may be arbitrary well-ordered sets of nonnegative rationals).
منابع مشابه
On the algebraicity of generalized power series
Let K be an algebraically closed field of characteristic p. We exhibit a counterexample against a theorem asserted in one of our earlier papers, which claims to characterize the integral closure of K((t)) within the field of Hahn-Mal’cev-Neumann generalized power series. We then give a corrected characterization, generalizing our earlier description in terms of finite automata in the case where...
متن کاملOn Formal Power Series Generated by Lindenmayer Systems
To study power series generated by Lindenmayer systems we de ne L algebraic systems and series over arbitrary commutative semirings. We establish closure and xed point properties of L algebraic series. We show how the framework of L algebraic series can be used to de ne D0L, 0L, E0L, DT0L, T0L and ET0L power series. We generalize for power series the classical result stating that D0L languages ...
متن کاملFinite automata and algebraic extensions of function fields par
We give an automata-theoretic description of the algebraic closure of the rational function field Fq(t) over a finite field Fq, generalizing a result of Christol. The description occurs within the Hahn-Mal’cev-Neumann field of “generalized power series” over Fq. In passing, we obtain a characterization of wellordered sets of rational numbers whose base p expansions are generated by a finite aut...
متن کاملHYPERTRANSCENDENTAL FORMAL POWER SERIES OVER FIELDS OF POSITIVE CHARACTERISTIC
Let $K$ be a field of characteristic$p>0$, $K[[x]]$, the ring of formal power series over $ K$,$K((x))$, the quotient field of $ K[[x]]$, and $ K(x)$ the fieldof rational functions over $K$. We shall give somecharacterizations of an algebraic function $fin K((x))$ over $K$.Let $L$ be a field of characteristic zero. The power series $finL[[x]]$ is called differentially algebraic, if it satisfies...
متن کاملFinite automata and algebraic extensions of function fields
We give an automata-theoretic description of the algebraic closure of the rational function field Fq(t) over a finite field Fq, generalizing a result of Christol. The description takes place within the Hahn-Mal’cev-Neumann field of “generalized power series” over Fq. Our approach includes a characterization of well-ordered sets of rational numbers whose base p expansions are generated by a fini...
متن کامل